Synthesizing statecharts from multiple interrelated scenarios

In de£ning the behaviour of a system, requirement speci£cations make use of a number of scenarios that are interrelated in many ways. Current approaches, even though giving directions on how to translate them into statecharts, treat each scenario separately. In this paper we propose a method of synthesizing statecharts from multiple scenarios, with respect to the relationships among them. We describe a set of rules for the synthesis of statecharts from multiple scenarios, as a means to properly describe the requirements speci£cations of a system.